A case for inline type annotations

:: is the type operator in many languages, it feels very natural to me. Honestly I’d rather have $ as a valid variable name character for streams or stuff like that.