Считаете, что монадные трансформеры это сложно?

Попробуйте разобраться с syntax model в racket!