:: ZipList a -> [a] package:basement

Convert a prim monad to another prim monad. The net effect is that it coerce the state repr to another, so the runtime representation should be the same, otherwise hilary ensues.