-- @shouldFailWith DeclConflict
module Main where

data Fail

data Fail