liquidhaskell-0.8.0.5: tests/import/lib/T1117Lib.hs

{-@ LIQUID "--higherorder"        @-}
{-@ LIQUID "--exactdc"            @-}

module T1117Lib where

data U1 p = U1

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