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