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

module T1037A where

import Language.Haskell.Liquid.ProofCombinators
import qualified T1037C 
import qualified T1037B