little adjustment for new versions of Agda and agda-std-lib
work in the final report, intro