monads lib: made all monad types doubly param'd; required plus,zero from all monads
[lambda.git] / hints / assignment_6_hint_1.mdwn
1 Use the following type declarations:
2
3     type count = int;;
4     type computation = count -> (int * count);;
5
6 (You can make the computation type polymorphic if you want to.)
7
8 If you're still stumped, read Wadler--