Stricter typing