curry-howard isomorphism Sticker