High-level typing attempt