Sat Aug 27 21:19:44 CEST 2011

Functional dependencies

Trouble is that when using

  ilit  :: Tint -> (r Tint)

it is inferred that this operation comes from DSPM r m where r can be
matched with other surrounding types, but m is left unspecified.  What
we do know is that given r, the m is fixed.

Can this be solved with functional dependencies?  Yep.

  class Monad m => DSPM r m | r -> m