[bhansconnect]

0. Roc is capable of always inferring types. So type annotations are never required. That said, type annotations are used commonly and 100% supported.