Data.Map.Internal
data Map k a
type Size
type SimpleWhenMissing
type SimpleWhenMatched
WhenMatched tacticsWhenMissing tacticsdata WhenMissing f k x y
data WhenMatched f k x y z
WhenMatched tacticsWhenMissing tacticsdata AreWeStrict
data MaybeS a
data Identity a