1 2 3 4 5 6
{-# LANGUAGE MultiParamTypeClasses #-} module TcNullaryTCFail where class A instance A instance A