It can very much be. Here’s one example of this phenomenon (there are many other...

		ihm 69 days ago \| parent \| context \| favorite \| on: Category Theory Illustrated – Natural Transformati... It can very much be. Here’s one example of this phenomenon (there are many others but this is the most famous): https://wiki.haskell.org/Curry-Howard-Lambek_correspondence