CoreOpt

Simple expression optimiser

simpleOptPgm

simpleOptExpr

simpleOptExprWith

Join points

joinPointBinding_maybe

joinPointBindings_maybe

Predicates on expressions

exprIsConApp_maybe

exprIsLiteral_maybe

exprIsLambda_maybe

Coercions and casts

pushCoArg

pushCoValArg

pushCoTyArg

collectBindersPushingCo