Monad classes using type families, with instances for various monad transformers, inspired by the paper /functional programming with overloading and higher-order polymorphism/, by mark p jones, in advanced school of functional programming, 1995 (http://web.cecs.pdx.edu/~mpj/pubs/springschool.html).
