On type annotations

Why not? Looks perfectly fine in my eyes.