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