liquidhaskell-0.8.10.7: tests/todo/funrec.hs

module Foo () where

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

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