Consider simplifying KindedAddress-related machinery by using type classes from `some` and `constraints-extras`
Clarification and motivation
We have a lot of pretty involved machinery around KindedAddress
which matches on the constructors to recover type information. There are utilities to simplify that, specifically GShow
, GEq
and GCompare
from some
, ArgDict
from constraints-extras
(a dependency of some
) and particularly the TH utilities from dependent-sum-template
.
Acceptance criteria
-
KindedAddress
machinery is simplified usingGEq
,GCompare
, optionallyArgDict
(which should be derived via TH).
Edited by Nikolay Yakimov