path: root/testsuite/tests/ghci/scripts/T15743b.hs

{-# LANGUAGE PolyKinds, TypeFamilies #-}

module T15743b where

class C (a :: k) where
  type F a (b :: k2)