Type error: error: Annotation mismatch
 --> <current file>:1:0
  |
1 | toMap { foo= 1, bar= 4 } : Natural
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch
  |
