Type error: Unhandled error: function annot mismatch: (True : Bool) : Natural