liquidhaskell-0.4.0.0: tests/pos/partial-tycon.hs

module Foo () where

data Id a = Id a

data Foo m a = Foo (m a)

foo :: Foo Id a
foo = undefined