Programming with Algebraic Data Types by Jiří Jakeš