CoreArity
manifestArity
exprArity
exprBotStrictness_maybe
exprEtaExpandArity
findRhsArity
type CheapFun
etaExpand