Modification of State Transformer

[Ken Shan]

--PHCdUe6m4AxPMzOu
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On 2002-08-08T14:11:54-0500, Shawn P. Garbett wrote:
> newtype St a s =3D 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.

--=20
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
http://www.ethnologue.com/

--PHCdUe6m4AxPMzOu
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)

iD8DBQE9UtyrzjAc4f+uuBURAmjGAJ9RRgPZmwAyqqKNxRV5+gFernRPgwCggx9V
oGNBAFQrwcAfdmagZI0anTw=
=uuaz
-----END PGP SIGNATURE-----

--PHCdUe6m4AxPMzOu--