     else
       name
         .replace(/\+/g, 'plus_')
-        .replace(/\-/g, 'minus_')
+        .replace(/\-/g, '__')
         .replace(/\*/g, 'times_')
         .replace(/\//g, 'over_')
         .replace(/\√/g, 'sqrt_')

  return _curry();
};

var fromminus_nullable = function (jsValue) {
  if (typeof jsValue === "undefined" || jsValue === null) {
    return {'None:': []};
  } else {

  return $listSlice(from - 1, n, xs.tail);
};

var show__list = function (x) {
  var t = [];
  while (x.length != 0) {
    t.push(x.head);
