Quelle  bug_20711.out   Sprache: unbekannt

module Main where

import qualified Prelude

data Bool =
   True
 | False

type Foo = Bool

type Wrapper = Foo
  -- singleton inductive, whose constructor was Build_Wrapper