deriving ~{d}