> 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

> 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)