-- @shouldFailWith DeclConflict
module Main where

data T = Fail | Fail