Redirecting to
fn.may_define_existential_type.html
...