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

module T1106Defs where


{-@reflect foo @-}
foo c t = t