liquidhaskell-0.8.0.2: tests/todo/funrec.hs

module Foo () where

data F a = F { f :: Int -> a }

{-@ data F a = F { f :: Nat -> a } @-}