Oh yeah, you have to get into branded types for this I think, which means a parsing step. Fair point.