@cawhitworth yay. It's nice how they fit into the heirarchy of functors and applicative functors eh? Do you grok monoids too though?