That traverse usage to reverse type constructors i...
# arrow
j
That traverse usage to reverse type constructors is one of the things still clicks my mind a bit