liquidhaskell-0.4.0.0: tests/pos/tagBinder.hs

module ListSort () where

data Foo a = F Int a

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

foo = F