@flesh A miserable little pile of types. 🍷
@flesh In a bit less jest, I like to think of it as a bit of a smart black box. You can tell it what to do and it'll do it if the type inside it is right.
@arina_artemis That sounds like...a function.
@flesh Like the most popular modal is Maybe (sometimes called Option). It can hold either a thing or nothing. If you give it a function and it holds nothing, it'll do nothing. If you give it a function and it holds a thing, it'll apply the function to the thing and give you a new monad with the result.
@arina_artemis Ah, yes, thank you.