@twostraws And this is the type of that view… What’s the benefit of relying so heavily on the type system to represent those views? cc @jckarter