cultivating bonsai Curry-Howard at sunset