Confused with type definition

It does not work (or rather, cannot be printed) because a subtype of AbstractVector must implement some methods, see here.