Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual - View it on GitHub