path: root/testsuite/tests/typecheck/should_fail/T11563.hs

{-# LANGUAGE Haskell2010 #-}
module T11563 where

data T a = MkT
class C t
instance C s => C T