stricter typing