-- @shouldFailWith DuplicateTypeClass
module Main where
class C
class C