Varia/Exercise1: monadic version