haskell-language-server-2.7.0.0: plugins/hls-semantic-tokens-plugin/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