blob: d1af549187d5a29c2ece41017c8c5353ddff5eb2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
{-# LANGUAGE MagicHash, UnboxedSums, NoImplicitPrelude #-}
{-# LANGUAGE TypeFamilies #-}
-- {-# LANGUAGE PolyKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE GADTs ,ExplicitNamespaces#-}
{-# LANGUAGE UnboxedTuples #-}
module T14111 where
import GHC.Exts
import GHC.Types
import Prelude (undefined)
import Data.Kind
import Data.Void
data family Maybe(x :: TYPE (r :: RuntimeRep))
data instance Maybe (a :: Type ) where
MaybeSum :: (# a | (# #) #) -> Maybe a
data instance Maybe (x :: TYPE 'UnliftedRep) where
MaybeSumU :: (# x | (# #) #) -> Maybe x
|