Data.Map.Internal
data Map k a
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