haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/MagicHashTest/Name/InKind.hs

{-# LANGUAGE MagicHash,
             PolyKinds,
             MultiParamTypeClasses
             #-}

module InKind where

-- TODO: unboxed kinds

class C (f :: k# -> *) (a :: k#) (b :: *) where  {-* Magichash, Magichash *-} --PolyKinds, MultiParamTypeClasses
    g :: f a -> b