subtype TypedArrayOf
        as Parameterizable['TypedArray', 'Moose::Meta::TypeConstraint'],
        where {
            my ($typed_array, $type) = @_;
            $typed_array->type->is_a_type_of($type)
        }, message {
            my ($typed_array, $type) = @_;
            return "expected TypedArrayOf[$type], found TypedArrayOf[@{[$typed_array->type]}]"
        };