call-by-value and call-by-name, kleisli and cokleisli linear and thunkable maps adjunction collage failure of associativity on an adjunction collage up monad and down comonad of an adjunction collage intuition for duploids