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

module Client1 where 

    import Client2
    
    data B a = B {b1 :: a, b2 :: a }
    {-@ data B a = B {b1 :: a, b2 :: {v:a | cProp b1 v } } @-}