Explicit on types