   return $listSlice(from - 1, n, xs.tail);
 };
 
-var showminus_list = function (x) {
+var show__list = function (x) {
   var t = [];
   while (x.length != 0) {
     t.push(x.head);

  return _curry();
};

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

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