functor
(
Id
:
Sig
.
Id
)
->
functor
(
Maker
:
functor
(
F
:
Sig
.
AstFilters
)
->
sig
end
)
->
sig
end