1 2 3 4
{-# LANGUAGE PartialTypeSignatures #-} module WildcardInADT1 where data Foo a = Foo (Either _ a)