%************************************************************************
\begin{code}
-subFunTys :: SDoc -- Somthing like "The function f has 3 arguments"
+subFunTys :: SDoc -- Something like "The function f has 3 arguments"
-- or "The abstraction (\x.e) takes 1 argument"
-> Arity -- Expected # of args
-> BoxyRhoType -- res_ty