Introduced lower bound on base dependency (because of Data.Type.Equality)