MONADS AND RUST A THREAD - or - why async/await instead of do notation
Show this thread
-
For example I might misunderstand the need for type currying. I know that types of multiple type parameters wouldn't work well with Monad, which has a single type parameter, but you can usually work around it (type aliases?) and most types have a single type parameter anyway.
All Haskell functions take one argument. This includes type functions. Understanding this and working with the consequences will help with understanding what you are describing.
