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
- 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..