{-# LANGUAGE MultiParamTypeClasses #-}
module TcNullaryTCFail where

class A
instance A
instance A