Hello,

I wish to introduce Agda to Guix. The patches below are some dependecies
for Agda. There are more to come...