Jonathan Cast wrote:
Flexible instances are extroardinarily useful:
I'm sure the GHC team wouldn't have bothered otherwise. ;-)
AFAIK, "flexible instances" just means that absolutely anything can be a
class instance, right?
instance Monad m => MonadState s (StateT s m)
instance MonadState t m => MonadState (s, t) (StateT s m)
is a useful and not entirely insane instance scheme.
I hadn't realised this required FIs. (Although clearly it demands
MPTCs.) Man, so many TLAs...
But yeah, anyone who uses class Silly in real life should be banned from
coming within a 100 feet of any place where math, science, engineering,
or software development is carried out or taught.
I don't know if it's necessary for the good of the Children, but we need
to start thinking of the poor, defenseless computers as well...
Heh. And I thought *I* was crewl for making my poor PC use Peano
integers rather than the [vastly more efficient] binary numbers...
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
