load :: Storable a => PtrIO a
load = do addr <- advance
          io (peek addr)
load :: Storable a => PtrIO a
load = do addr <- advance
          io (peek addr)
load = do addr <- advance
          io (peek addr)