https://bookem.ir/books/1668897-Functional-Programming-and-Input-Output