Thanks for confirming; I wasn’t 100% sure what I wrote was equivalent to the `X ...

kevinventullo on July 3, 2025 | parent | context | favorite | on: List is a monad

Thanks for confirming; I wasn’t 100% sure what I wrote was equivalent to the `X -> T<Y>` definition, but I could see how you’d get one from the other using the unit/counit.