Wider tagged dependency bounds
Merged the types, combinators and instances from `Data.Analytics.Reflection` in `analytics`.