liquidhaskell-0.9.0.2.1: tests/pos/Partial_tycon.hs

module Partial_tycon () where

data Id a = Id a

data Foo m a = Foo (m a)

foo :: Foo Id a
foo = undefined