Что хорошего в Control.Category?

Если я узнаю, что что-то является Моноидом или Монадой , я получу возможность использовать все виды развлечений такие функции, как foldMap , последовательность или даже mapM . Они делают меня счастливым.

Что я получу, если узнаю, что что-то относится к категории ? Получу ли я что-нибудь забавное, кроме перегрузки id и (.) ?