8 Aug
2002
8 Aug
'02
5:03 p.m.
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/