purescript-0.15.15: tests/purs/passing/NonOrphanInstanceMulti.purs
-- Both l and r must be known, thus can be in separate modules module Main where import Effect.Console (log) import Lib data L instance clr :: C L R main = log "Done"
-- Both l and r must be known, thus can be in separate modules module Main where import Effect.Console (log) import Lib data L instance clr :: C L R main = log "Done"