The results of those templates seems to be a lot different from regular old boring industry standard reusable code, which has design patterns(Developed over the years for everyday practicality) as the templates instead of abstract logic(Seemingly chosen for beauty and ability to express original ideas).

They say you can find monads everywhere, but doesn't that mean that by using monads as a starting point, you'll have more freedom and less structure and predictability than if you used a GoF pattern?