Toggle Dark-Mode
Functor pro * -> * -> *
Functor pro
* -> * -> *
Bifunctor