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

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

module KindSignaturesClassHead where

import Data.Kind (Type)

class Runs (f :: Type -> Type) where
  runF :: f a -> f a