beka valentine on Nostr: when we do type theory in standard inference rule notation like the left image, we ...

when we do type theory in standard inference rule notation like the left image, we often end up translating that into monadic typing systems like the image on the right

but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like