signature
Key
where
data
Key
instance
Eq
Key
instance
Ord
Key