dminuoso · April 3, 2018 02:01
diff --git a/A.hs b/A.hs
 module A where

 class T a where
  t :: a -> Bool
diff --git a/Apple.hs b/Apple.hs
 module Apple where

 import A
 import B

 g = t (1 :: Int)
diff --git a/B.hs b/B.hs
 module B where

 import A

 instance T Int where
  t = const True
diff --git a/Banana.hs b/Banana.hs
 module Banana where

 import A
 import C
diff --git a/C.hs b/C.hs
 module C where

 import A

 instance T Int where
  t = const False
diff --git a/Main.hs b/Main.hs
 module Main where

 import Apple
 import Banana

 main = main