[<<][meta][>>][..]

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

[Reply][About]

[<<][meta][>>][..]