inlinable type constraints
allow TypedArray to be parameterized
coercions for parameterized TypedArray
docs