Dependencies for kan-extensions-0.2.2

library