CoreArity
manifestArity
exprArity
typeArity
exprBotStrictness_maybe
exprEtaExpandArity
findRhsArity
type CheapFun
etaExpand