eq-4.1: dependencies

Dependencies for eq-4.1

library	base (>=4 && <5) semigroupoids (>=4 && <6)