monadic pull arrays