you have a version that is `() -> B`
# arrow
k
you have a version that is
() -> B