typechecker: fix to combine example