aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/StandaloneKindSignatures/standalone-kind-class.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE StandaloneKindSignatures #-}

module StandaloneKindClass where

import Data.Kind (Constraint, Type)

type HasValue :: Type -> Constraint
class HasValue a where
  getValue :: a -> a