Replies to message #795

🔎 If you see an alert for analytics.usips.org, this is a self-hosted system I am running as a test. It is GDPR compliant and collects no invasive information.

I wrote unit∙bind off intuition because I was looking for an expression of type S → I → S, then I rolled with it. It's not the most elegant thing...