First doodles from Bird and Wadler