AP
Size: a a a
AP
AP
data SorR a where
Showable :: Show a => a -> SorR a
Readable :: Read a => a -> SorR a
AP
к
AN
AN
к
data X a
= (a ~ String) => A Int
| (a ~ Int) => B String
data SorR a
= Show a => Showable a
| Read a => Readable a
AN
A
A
data SetM a where
SMOrd :: Ord a => S.Set a -> SetM a
SMAny :: [a] -> SetM a
к
AP
AP
AP
к
A
AN
data X a
= (a ~ String) => A Int
| (a ~ Int) => B String
data SorR a
= Show a => Showable a
| Read a => Readable a
AN
к
AN