TimeTypes
TimeTypes

- Require HasTs instance for HasT (simplifies contraints a lot)