The essential part of what makes FP FP is referential transparency not immutability. Having referential transparency with mutation is what the uniqueness typing

The essential part of what makes FP FP is referential transparency not immutability. Having referential transparency with mutation is what the uniqueness typing provides.