functor (Error : Error-> sig  end