Tue Aug 18 09:26:13 EDT 2015

If (Int -> m t) works, [m t] or m [t] should work as well.

The point is that:

- The equation should produce a sequence of some sort, to give it the
  proper semantics.

- The typeof the sequence should be such that the representation can
  still do things it needs.
- The practical problems came from writing the instance of (,)

It should also work as m [t], but is there a reason to try?  Int -> mt
is more abstract and it works now..