CoreArity
manifestArity
exprArity
exprBotStrictness_maybe
exprEtaExpandArity
etaExpand