Redirecting to fn.may_define_existential_type.html...