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

{-# LANGUAGE StandaloneKindSignatures #-}

module VisFlag4 where

import Data.Kind

type C :: (forall k -> k -> k) -> Constraint
class C (hk :: forall k. k -> k) where