CoreArity
manifestArity
joinRhsArity
exprArity
typeArity
exprEtaExpandArity
findRhsArity
type CheapFun
etaExpand
etaExpandToJoinPoint
etaExpandToJoinPointRule
exprBotStrictness_maybe