Redirecting to fn.user_annotated_ty_for_adt.html...