better generator for typelevel tests.