typechecker: added failed example from mosaic

I get stack overflow