hls-semantic-tokens-plugin-2.6.0.0: test/testdata/TGADT.hs

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
module TGADT where

data Lam :: * -> * where
  Lift :: a                     -> Lam a        -- ^ lifted value
  Lam  :: (Lam a -> Lam b)      -> Lam (a -> b) -- ^ lambda abstraction