functor
(
L
:
Level
)
->
functor
(
M
:
Color_media
)
->
Log_color