isTcReflCo_maybe :: TcCoercion -> Maybe TcType
isTcReflCo_maybe (TcRefl _ ty)   = Just ty
isTcReflCo_maybe :: TcCoercion -> Maybe TcType
isTcReflCo_maybe (TcRefl _ ty)   = Just ty
isTcReflCo_maybe (TcRefl _ ty)   = Just ty