liquidhaskell-0.9.0.2.1: tests/pos/TagBinder.hs

module TagBinder () where

data Foo a = F Int a

{-@ data Foo a = F {tag :: Int, f :: a} @-}

foo = F