path: root/testsuite/tests/dependent/should_compile/Dep2.hs

{-# LANGUAGE PolyKinds, GADTs, StandaloneKindSignatures #-}

module Dep2 where

import Data.Kind (Type)

type G :: k -> Type
data G a where
  G1 :: G Int
  G2 :: G Maybe