Brilliant tools, well worth investigating for any system-critical applications. They don't seem to get enough attention outside of the FP community.