[Haskell-cafe] Functional programmer's intuition for adjunctions?