Example of ListT
Example of ST Monad
Example of Heterogeneous List
Constraint Functional Programming over Finite Domain
Constraint Programming over Multiple Finite Domain (with class Enum)