Skip to content
Snippets Groups Projects
Commit 2169fda7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

[project @ 2000-01-25 14:12:08 by simonpj]

fix typo
parent c8cd2ee3
No related merge requests found
......@@ -1787,7 +1787,7 @@ types, in which there is a for-all in the argument types.:
<Para>
<ProgramListing>
T1 :: forall a. (forall b. b -&#62; b -&#62; b) -&#62; a -&#62; T1 a
T1 :: forall a. (forall b. b -&#62; b -&#62; b) -&#62; a -&#62; T a
MkMonad :: forall m. (forall a. a -&#62; m a)
-&#62; (forall a b. m a -&#62; (a -&#62; m b) -&#62; m b)
-&#62; MonadT m
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment