functor
(
L
:
Level
)
->
functor
(
M
:
Media
)
->
Log