Type Predicate Generator playground: generates type predicates and unit tests for your types