(-> (primitive (list-of Expressed-Value)) Expressed-Value)
What is the type of apply-primitive?