Monad classes, using type families - View it on GitHub