[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc103.stderr

__export ShouldCompile C D{DD} D_;
1 newtype D a = DD (D_  a) ;
1 type C a = D   a -> a ;
1 type D_ a = C   (PrelMaybe.Maybe a) ;