simon.vergauwen
10/29/2017, 10:47 PMposCandy.b is the same type, because it doesn’t have knowledge about the getter’s purity” that makes sense. But the compiler makes that assumption for all vals, no? What I needed was not possible with fold but destructuring solves the issue 🙂