Language.Syntactic.Interpretation.Evaluation
type family
Denotation
sig
class
Eval
expr