Dependencies for equational-reasoning-0.5.1.1

library