You've been using Functors by Brian Lonsdorf