remindme Discord bot
Poppy Music Player
Command wkdserver serves a WKD as specified by <https://tools.ietf.org/html/draft-koch-openpgp-webkey-service-11>
Command wkdhash takes a mail user as its first argument and returns its sha1 encoded in base32 for use in a Web Key Directory.
Unboxed variables for Prim values.
ST-style mutation for effectful.
Fusing Functor-general effectful streams.