Minimal Type Guesser
