trans-dependency compatible type check
0.6.1