Searched refs:maybe_tc_app (Results 1 – 1 of 1) sorted by relevance
327 | Just (tc,_) <- maybe_tc_app332 | Just (tc,_) <- maybe_tc_app354 | Just (tycon, tycon_arg_tys) <- maybe_tc_app368 maybe_tc_app = splitTyConApp_maybe result_ty function