typechecker: added combine example which fails with stack overflow