|
|
|
|
|
|
by tome
3265 days ago
|
|
|
> GHC's Dynamic type can only contain monomorphic values, it can't handle polymorphic stuff. Sort of. If you wrap a polymorphic type inside a monomorphic one then it can handle it fine, for example data Mono = Mono (forall a b. a -> b -> a)
(But perhaps you know this) |
|
|