valid-input-output-sequence

Given an Input and Ouput type and an array of block types, this type validates that they are a compatible sequence of blocks.

So for input I, output O and blocks A and B, this type will produce compiler errors unless I is compatible with A, A is compatible with B and B is compatible with O