testsuite/tests/linear/should_compile/T22546.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE LinearTypes, GADTSyntax #-}

module T22546 where

import GHC.Types (Multiplicity (..))
import Data.Kind (Type)

data T :: Multiplicity -> Type where
  MkT :: () %m-> T m

unMkT :: T m %n-> ()
unMkT (MkT x) = x