TaggedT to MTL style

This commit has several changes:

  1. Added -XPolyKinds
  2. Created a type synonym `Tagged s b` a la mtl
  3. Added functions from Data.Tagged, most with versions for Tagged and TaggedT.