functor
(
Error
:
Sig
.
Error
)
->
sig
end