is there an applicative map for each data type ?
# arrow
s
is there an applicative map for each data type ?