Failed to define concat for ColistP
Merge branch 'generator' of github.com:marco-vassena/testing-agda into generator