my $type = CycleTuple[Str, ArrayRef, Int];
$type->assert_valid( [ "foo", [], 42, "bar", [], 21 ] );  # ok
$type->assert_valid( [ "foo", [], 42, "bar", [], 2.1 ] ); # throws exception