Guessing types + interaction. Missing tests.