1{-# LANGUAGE ScopedTypeVariables #-}
2{-# LANGUAGE InstanceSigs #-}
3{-# LANGUAGE TypeFamilies #-}
4
5instance SupportsDelta (Map k v) where
6 type Delta (Map k v) = Map k v
7
8 mkDelta :: Map k v -> Map k v -> Delta (Map k v)
9 mkDelta = undefined
10