purescript-0.15.15: tests/purs/passing/TypeSynonymInstance4.purs
module Main where import Effect.Console (log) data D type S = D newtype N a = N a class C a derive newtype instance c :: C S => C (N S) main = log "Done"
module Main where import Effect.Console (log) data D type S = D newtype N a = N a class C a derive newtype instance c :: C S => C (N S) main = log "Done"