can now construct quivers from either arrows or functions, which are lazily interchangeable