Lizardsquid, maker of noises @lizardsquid@computerfairi.es

@azka I'm sorry azka.

I hope you can find more friends soon

@Ulfra_Wolfe wow...

I cleaned my room!

@Fenreliania *cuddles*

@turbodragon goodnight addison!!!! sleep well!!

I forgot to do this, I'm sorry

@popefucker@cybre.space side note: (>>=) is actually defined over *any* monad, not just IO

@popefucker@cybre.space sorry, I should have given you the type! It's kinda complex, so let me show you compose first:

(.) :: (b -> c) -> (a -> b) -> (a -> c)

this says "the compose function takes 2 arguments, a function from b to c and a function from a to b, and then returns a function from a to c"

>>= (which is called "bind") is:

(>>=) :: IO a -> (a -> b) -> IO b

which says "the bind function takes 2 arguments, something of type IO a and a function from a to b, then returns something of type IO b"

despite using haskell as my primary language for over 2 years, I have yet to use a monoid