2 tcfail023.hs:2: Duplicate or overlapping instance declarations
3 for `A B' at tcfail023.hs:8 and tcfail023.hs:11
5 tcfail023.hs:11: Couldn't match the type
6 `B' against `PrelBase.Bool'
8 Inferred: `PrelBase.Bool'
9 In an equation for function `op': `op C = PrelBase.True'
11 tcfail023.hs:8: Couldn't match the type `B' against `PrelBase.Bool'
13 Inferred: `PrelBase.Bool'
14 In an equation for function `op': `op C = PrelBase.True'
16 tcfail023.hs:2: Module Main must include a definition for `Main.main'
19 Compilation had errors