agda's stdlib re-factored structures on devel version, now it's compatible with stdlib HEAD