1module Main where
2
3import Effect.Console (log)
4
5class C a
6
7class FD a b | a -> b
8
9fn1 :: forall a b. FD a b => C b => a -> String
10fn1 _ = ""
11
12fn2 x = fn1 x
13
14main = log "Done"
15