-- This parses, but will fail to type-check, because in the absence of the `T`
-- it is interpreted as a `Date` applied to a `Time`
2020-01-01 12:00:00