Drawing the Church booleans

Tags: star-autonomous category, string diagram, closed monoidal category