• Robbert Krebbers's avatar
    Make the types of the finite map type classes more specific. · f79a0b6f
    Robbert Krebbers authored
    This makes type checking more directed, and somewhat more predictable.
    On the downside, it makes it impossible to declare the singleton on
    lists as an instance of SingletonM and the insert and alter operations
    on functions as instances of Alter and Insert. However, these were not
    used often anyway.