Redirecting to
fn.user_annotated_ty_for_adt.html
...