`whatever: (YYY) -> MMM` and `everwhat: (MMM) -...
# arrow
p
whatever: (YYY) -> MMM
and
everwhat: (MMM) -> YYY