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

module T1112Lib where

data Product f g p = Product (f p) (g p) deriving Eq