types: use the idiomatic equivalents