implicit types version