haskell -- not understanding why this associated type example needs more inference...

help with writing a monad typeclass (associated type classes?)...