in hxt-monad multi parameter type classes redesigned for a single fixed Sequence implementation (not yet complete)