Language.Embedded.Expression

type VarId

type family VarPred exp :: * -> Constraint

class EvalExp exp

class CompExp exp

freshVar

freshVar_