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

{-# LANGUAGE PolyKinds, GADTs #-}

module Dep2 where

data G (a :: k) where
  G1 :: G Int
  G2 :: G Maybe