A type annotation has the form e:T where e is an expression and T is a type. This tells Unison that e should be of type T (or a subtype of type T), and Unison will check whether this is true. It's a type error for the actual type of e to be anything other than a type that conforms to T.