path: root/testsuite/tests/polykinds/T11278.hs

{-# LANGUAGE ConstraintKinds #-}

module A where

type K a = (Show a, Read a)
class K a => C a where