On 2002-08-08T14:11:54-0500, Shawn P. Garbett wrote: > newtype St a s = MkSt (s -> (a, s)) > instance Monad St where
This line should say
instance Monad (St a) where
because it is (St a) that is a Monad, not St by itself.
--
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
http://www.ethnologue.com/
msg01872/pgp00000.pgp
Description: PGP signature
