Bilinearity and Cartesian Closed Monads.