code: function typeSignature(typeInfo) {
      return typeInfo.name + ' :: ' +
             constraintsRepr (typeInfo.constraints, I, K (K (I))) +
             joinWith (' -> ',
                       Z.map (showTypeWith (typeInfo.types), typeInfo.types));
    }
docs: typeSignature :: TypeInfo -> String