[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Toby Moth <tm1@c...> |
| Subject: | monomorphism is ... ? |
Am I right in thinking that the following holds ? polymorphic = has type 'a = for all monomorphic = has type '_a = exists Here '=' stands for 'equal in spirit'. Toby Moth