Fix for substituting over ~>