signature Key where data Key instance Eq Key instance Ord Key