Not sure I understand the point you're trying to make. Can you rephrase?
So they write their monadic and effects frameworks in Rust instead, and use unsafe to mark methods that might be dangerous, regardless of related to possible memory corruption or not.