1 2 3 4 5
-- !!! Redefining imported data constructors -- was: Imported constructor clashes with local constructor module M where import Prelude(Bool(True,False)) data T = True