quiver multiplication is now a final built-in
established that you can't instantiate a structural type