blob: a97eade18ec9261227da5ff055b9790fe84c90df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE GADTSyntax, DataKinds, LinearTypes, KindSignatures, ExplicitForAll #-}
module MultConstructor where
import GHC.Types
data T (p :: Multiplicity) a where
MkT :: a %p -> T p a
{-
this currently fails
g :: forall (b :: Type). T 'Many b %1 -> (b,b)
g (MkT x) = (x,x)
-}
|