blob: c4123535581361506fbb4fefba8f00dbae64edea (
plain) (
tree)
|
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE DataKinds, GADTs, KindSignatures, PatternSynonyms, TypeOperators,
ViewPatterns #-}
module BundledPatterns2 (Vec((:>), Empty), RTree(..)) where
import GHC.TypeLits
import BundledPatterns
pattern Empty :: Vec 0 a
pattern Empty <- Nil
|