functor
(
C
:
sig
end
)
->
Level