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

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

import T1118Lib2 

{- data Product @-}