qnikst

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}

import Data.Time

type family TimeDiff a where
  TimeDiff UTCTime = NominalDiffTime
  TimeDiff a = a