The view is now implicite.

Next step: pass the view implicitely
the withList typechecks works
With, dependate data I have to find a new way to do the read and
store