lol.hs

import Data.Time

class Diffable a where
  type Diff a :: *
  diff :: a -> a -> Diff a
  addDiff :: Diff a -> a -> a

instance {-# OVERLAPPABLE #-} (Num a) => Diffable a where
  type Diff a = a
  diff = (-)
  addDiff = (+)

instance Diffable UTCTime where
  type Diff UTCTime = NominalDiffTime
  diff = diffUTCTime
  addDiff = addUTCTime

--    Conflicting family instance declarations:
--      Diff a -- Defined at src/Peridot/Diffable.hs:11:8
--      Diff UTCTime -- Defined at src/Peridot/Diffable.hs:16:8