Typecheck funzionante