[jesuslop]

You know, propositions are types, proofs are programs :-), thanks to Howard & Haskell Curry, somewhat culprit of the functional frenzy.