purescript-0.7.0.0: examples/failing/TypeWildcards3.purs

module TypeWildcards where

import Prelude

data Foo a = Foo

instance showFoo :: Show (Foo _) where
  show Foo = "Foo"