package TypedArray;
    use Moose;
    has type => (
        is => 'ro',
        isa => 'Moose::Meta::TypeConstraint',
        required => 1
    );
    has elems => (
        is => 'ro',
        isa => ArrayRef,
        default => sub { [] },
    );
    sub BUILD {
        my $self = shift;
        $self->type->assert_valid($_) for @{$self->elems};
    }
    sub elems_push {
        my $self = shift;
        $self->type->assert_valid($_) for @_;
        push @{$self->elems}, @_;
    }
    ... more methods and operator overloads ...