Implement Partial Type Signatures
[ghc.git] / testsuite / tests / partial-sigs / should_fail / WildcardInNewtype.hs
1 {-# LANGUAGE PartialTypeSignatures #-}
2 module WildcardInNewtype where
3
4 -- Currently handled by the same checks as for ADTs, but in case this
5 -- changes in the future, add at least one test.
6
7 newtype Foo a = Foo (Either _ a)