require agda-lib-0.8 (v0.7 fails to typecheck under agda 2.4)