liquidhaskell-0.8.10.1: tests/import/client/Client0.hs

module Client0 where 

    import Client1 
    
    a :: Eq a => B a -> Bool 
    a (B x y) = x == y