Changelog:

1. Classes are written to the format file;
2. There should be less “ambiguous operator” errors now;
3. Removed the Agda dependency as it didn’t do anything with Agda at all.

Hackage, GitHub.