Also, to add, like — I already model whatever problem I'm working on using types and function type signatures, break up what needs to be done into small take oriented referentially transparent, side effect free functions, limit actual mutation (mutation that isn't extremely localized and small) and side effects, etc before I start coding. I constantly use recursive sum and product types (ala Rust's enums and immutable structs). So idk what extra benefit I'd get from going pure FP besides more mental effort.