This would provide useful testing data for the typechecker/traversal. Maybe it might be useful to setup automated TC testing on this too.