Adjunções

abstração x -> y
x -> encapsulamento y

instanciação = x -> encapsulamento de abstração de x
eta redução = abstração de encapsulamento de y -> y

abstração – | encapsulamento
instanciação monad
eta redução comônada