add holes for types only
wrong tyvar..