7th Functional Groningen Meetup: Duality

In previous sessions, we've talked about the relevance of functors, monads and other constructions for functional programming languages.

But just like push and pull kind of semantics, most of these constructs can be used in other directions then their normal variants. Illustrating dual versions of familiar logic, suited for situations which looked largely unrelated before.