blob: e8fd4f3bd2c38b1c3d55d3e5d27333776737b5fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE GADTs #-}
module STree where
data STree a where
STreeIM :: {
l :: v a ,
stree :: a
} -> STree a
insert :: STree a -> STree a
insert s = s { stree = undefined }
|