Issues about types related to time