blob: 8970da8bdb3b0d5fb34ffe54c64060f9d609e7b2 (
plain)
1
2
3
4
5
6
7
8
9
10
|
TH_RichKinds2.hs:25:4: warning:
data SMaybe_0 :: (k_0 -> *) -> GHC.Base.Maybe k_0 -> * where
SNothing_2 :: SMaybe_0 s_3 'GHC.Base.Nothing
SJust_4 :: (s_5 a_6) -> SMaybe_0 s_5 ('GHC.Base.Just a_6)
type instance TH_RichKinds2.Map f_7 '[] = '[]
type instance TH_RichKinds2.Map f_8
('(GHC.Types.:) h_9 t_10) = '(GHC.Types.:) (f_8 h_9)
(TH_RichKinds2.Map f_8
t_10)
|
