A type annotation has the forme:Twhereeis an expression andTis a type. This tells Unison thateshould be of typeT(or a subtype of typeT),and Unison will check whether this is true. It's a type error for the actual type ofeto be anything other than a type that conforms toT.