liquidhaskell-0.8.10.1: tests/import/lib/T1118Lib2.hs

module T1118Lib2 where

data U1 p = U1
data Product f g p = Product (f p) (g p)