Removed category type variable from Day

Trying to work out associativity of Day t