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

{-@ LIQUID "--higherorder"        @-}
{-@ LIQUID "--exactdc"            @-}
module T1118Lib1 where

import T1118Lib2 

{-@ data Product @-}