[jhc] applicative vs. special-functors