today I learned that the ... identifier is provided from racket/base twice, once at phase 0 as a transformer binding and once at phase 1 as a value binding

…..why?

greetings. got a problem with the type checker and can’t figure out where the problem is :confused:. here a paste of the code and the error: http://pasterack.org/pastes/1070