At first glance this is a fuzz generator not a type checker.