Glad you've found FSet useful! I'm curious what the difference is in map equality semantics.