liquidhaskell-0.8.0.2: tests/todo/RefinedData.hs

module Foo where

data F = F {f1 :: Int, f2 :: Bool}

{-@ data F = F {f2 :: Bool, f1 :: Int} @-}