testsuite/tests/typecheck/should_compile/T15586.hs


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 }