but since it's behaviour that just belongs to appl...

# arrow

[jacob]

but since it's behaviour that just belongs to applicative and can be derived just from map and ap, it feels like I should just be able to write an ordinary function