@@ -4,7 +4,7 @@
4{-# LANGUAGE StandaloneDeriving #-}
4{-# LANGUAGE StandaloneDeriving #-}
5{-# LANGUAGE TypeFamilies #-}
5{-# LANGUAGE TypeFamilies #-}
7−-- The derived instances are undecidable in the case of a pathlogical instance like
7+-- The derived instances are undecidable in the case of a pathological instance like
8-- instance Patch x where
8-- instance Patch x where
9-- type PatchTarget x = Patchable x
9-- type PatchTarget x = Patchable x
10{-# LANGUAGE UndecidableInstances #-}
10{-# LANGUAGE UndecidableInstances #-}