Hi, Am Mittwoch, dem 24.01.2024 um 17:32 +0000 schrieb Richard Eisenberg:
- Accepting will make at least one person (John) happy. And I don't note anyone who would become unhappy. More happy people is more better. So I recommend acceptance. :)
unless I am mistaken, this proposal will also un-deprecated -XPatternSignatures, and give it the semantics I asked for in #119: allow me to write foo :: Monad m => m Int foo = do list :: String <- return "" return $ length list without treading into type variable territory, having to turn on ScopedTypeVariables or anything like that. Finally! So it also makes me a bit happy; in favor. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/