В вашем хаскелле так много философии
Есть математическое определение, оно очень точное и не очень понятное сходу, можете сразу его посмотреть (теория категорий)
А так вообще, например: это абстракция, интерфейс которой позволяет соединять вычисления в каком-то порядке, где последующие вычисления зависят от результатов предыдущих