static <I,J,X> PStore<I,J,X>
pStore(Function<J,X> peek, Supplier<I> pos)
unbox(App<PStore.Mu<I,J>, X> box)