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

{-# LANGUAGE TypeFamilies #-}
module T5417a where

  import Data.Kind (Type)

  class C1 a where
    data F a :: Type