Yeah, fspec is mostly useful for pure functions. In general the philosophy that seems to be present in spec is anything stateful and side effecting shouldn't be significantly specced. So some of these cases where you have fspec may be best to just have ifn and then describe the exact function which must be given in detail in the docstring.

Generally specs and types are no substitute for good docstrings.