code: function isConsistent(t) {
      return t.type === UNARY   ? isConsistent (t.types.$1) :
             t.type === BINARY  ? isConsistent (t.types.$1) &&
                                  isConsistent (t.types.$2) :
             /* else */           t.type !== INCONSISTENT;
    }
docs: isConsistent :: Type -> Boolean