CoreArity
manifestArity
exprArity
exprBotStrictness_maybe
exprEtaExpandArity
type
CheapFun
etaExpand