Python indentation with annotations