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