> yes. a newtype declares a new type isomorphic to an existing type. > newtype T = MkT S > declares T to be isomorphic to S. > > There is no existing Haskell type isomorphic to your Dynamic.
Following your reasoning, shouldn't GHC also reject > newtype D = D (D -> D) because there is no existing Haskell type isomorphic to D? And certainly, System F doesn't have recursive types either. Cheers, Ralf _______________________________________________ Glasgow-haskell-bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
