A bug with c.typeCheck