invert arrows to/from derivation: - we need closures to form derivations - we need derivations to perform builds