CoreArity

manifestArity

exprArity

exprBotStrictness_maybe

exprEtaExpandArity

etaExpand