liquidhaskell-0.7.0.0: tests/todo/funrec.hs

module Foo () where

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

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