aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/KindSignatures/kindsig-constraint.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE KindSignatures #-}

module KindSignaturesConstraint where

import Data.Kind (Constraint, Type)

class (c :: Type -> Constraint) => UsesConstraint c where
  useConstraint :: c a => a -> a