A few words on Ruby's type annotations state