testsuite/tests/polykinds/PolyKinds11.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE GADTs                      #-}

module PolyKinds11 where

-- Test inference

data Nat = Ze | Su Nat

data Vec a n where -- Vec :: * -> Nat -> *
  VNil  :: Vec a Ze
  VCons :: a -> Vec a n -> Vec a (Su n)