CoreArity

manifestArity

joinRhsArity

exprArity

typeArity

exprEtaExpandArity

findRhsArity

type CheapFun

etaExpand

etaExpandToJoinPoint

etaExpandToJoinPointRule

exprBotStrictness_maybe