Skip to content

Instantly share code, notes, and snippets.

@dminuoso dminuoso/A.hs
Last active Apr 3, 2018

Embed
What would you like to do?
module A where
class T a where
t :: a -> Bool
module Apple where
import A
import B
g = t (1 :: Int)
module B where
import A
instance T Int where
t = const True
module Banana where
import A
import C
module C where
import A
instance T Int where
t = const False
module Main where
import Apple
import Banana
main = main
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.