eq-4.2: dependencies

Dependencies for eq-4.2

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