We now need to specify the numeric type and vector space explicitly
since these are given via type synonym family in `Diagram`