Try using the TypeCheck library

[mat-hek]

TypeCheck seems like a cool library for generating runtime type checking. Though using it in runtime may not be really beneficial for us, using it in integration tests could help to find type errors. Moreover, the tool allows generating parametric tests from specs.