Kock A. Bilinearity and Cartesian Closed Monads. Math. Scand. 1971;29:161-174. doi:10.7146/math.scand.a-11042