Added Tagged synonym with helper functions, and added -XPolyKinds