Vectorisation of type abstractions