Not just for typeclass-y things, just having a nice implicit system, the kind where one would use a Reader effect in Haskell, would be so awesome
(For the unitiated: This is the paper)
Highly, terribly dangerous posts. Misuse of this profile can invite eggbug to trounce upon your data and then laugh in your face. You don't want this profile. Really.
My Blog
prophetlabs.de/$\mathbb{X}$
twitter.com/welltypedwitchMastodon
functional.cafe/@prophetGithub
github.com/Innf107Twitch
twitch.tv/welltypedwitchYou must log in to comment.