Algebraic data types for fun and profit 2016

As domain driven design practitioners, we have to design datastructures a lot. Often we have to encode our knowledge into a not-so-expressive type system. That's when the trouble starts: our types don't represent exactly what we have.