module Client0 where import Client1Lib a :: Eq a => B a -> Bool a (B x y) = x == y