purescript-0.13.6: tests/purs/passing/3238.purs
module Main where import Effect.Console (log) class C a class FD a b | a -> b fn1 :: forall a b. FD a b => C b => a -> String fn1 _ = "" fn2 x = fn1 x main = log "Done"
module Main where import Effect.Console (log) class C a class FD a b | a -> b fn1 :: forall a b. FD a b => C b => a -> String fn1 _ = "" fn2 x = fn1 x main = log "Done"