Type error: Unhandled error: annot mismatch: ([1] : List Natural) : Optional Natural