Advanced Functional Programming by S.D. Swierstra, J.N. Oliveira & P.R. Henriques