Dependencies for type-eq-0.1.2

library