zvavybir :palestina:🍉 :FediPact: :Green: :masked:<p>Something that confused me for a long time with haskell was how monads (which in haskell are just things with a couple methods) are able to make sure nothing ever leaves it (which is of course the thing that is so important about monads in haskell). Took me quite some while to understand that the thing is that you can't extract an value out of a monad with *only* the monad specific methods, but there is no reason why a type that is a monad shouldn't have some additional ones that can do that. I thought that something being a monad just *magically* made it impossible to extract a value out of. (Lists being monads was of course also pretty confusing to me because lists you can't access would be pretty bad lists…)</p><p><a href="https://social.zvavybir.eu/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://social.zvavybir.eu/tags/monad" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monad</span></a> <a href="https://social.zvavybir.eu/tags/haskellTeaching" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskellTeaching</span></a></p>