What do you mean by "recreate types in tests"? Checking for the right results doesn't require any type-checking. If the result is right the type is right.