Ticket #456: bugs.2.hs

File bugs.2.hs, 288 bytes (added by volkersf, 9 years ago)
Line 
1module Main where
2
3data Foo = Foo Int deriving (Eq, Show)
4
5class Proposition a where
6                 
7instance Proposition Foo where
8
9data (Proposition a, Show a) => F a = P a  | F :/\: F
10-- data (Proposition a, Show a) => F a = P a  | (F a) :/\: (F a)
11
12f = (P (Foo 3)) :/\: (P (Foo 5))