1 2 3 4
{-# LANGUAGE PartialTypeSignatures #-} module WildcardInADT2 where data Foo a = Foo { get :: Either _ a }