@@ -18,6 +18,7 @@ import Data.GADT.Compare
18import Data.IORef
18import Data.IORef
19import Data.Semigroup
19import Data.Semigroup
20import Data.These
20import Data.These
21+import Data.Type.Equality
22import Data.Functor.Misc
23import Data.Functor.Misc
23import Data.Patch
24import Data.Patch