spark-ada: Add derivations