Let's keep the types on the LHS, so that they can be properly documented by the documentation engine. (So what @markovuksanovic  has is fine) I understand that it is redundant for the analyzer, but we want to make sure that our documentation provides the maximum benefit.