Sat Mar 3 09:33:14 CET 2018

Rep and structure commutation

Why is that so hard?  Maybe because it is actually significant?
E.g. in Haskell, representation (constructor wrapping) is trivial, but
in target lang it is far from.

Typical intuition mismatch: commutation does not mean that in concrete
applications, things will look very similar: only some structure