that you need a function that maps from `A` to `A`...
# functional
p
that you need a function that maps from
A
to
A
?