Tip.Simplify

data SimplifyOpts a

data Occurrences

gentlyNoInline

gently

aggressively

simplifyTheory

simplifyExpr

simplifyExprIn

isConstructor

missingCase

tryMatch