News for hackers. Stuff that matters.
Re:What Color Is Your Monad by jeremyjh on Wednesday February 16, 2022 @04:12PM (#30365748)
Certainly but Scala has that, and it has typeclass like implicits. I'm not sure if it can do monad-control though, here is a list of all the type extensions used for that:

             RankNTypes
           , TypeFamilies
           , FunctionalDependencies
           , FlexibleInstances
           , UndecidableInstances
           , MultiParamTypeClasses
Re:What Color Is Your Monad by Akronymus on Wednesday February 16, 2022 @05:11PM (#30366490)
One day ill make the jump from "just" f# to haskell.

While i usually could solve it in a different way, such things would have made it quite a bit nicer (the zoo of .map, .fold and such is a bit annoying)