A simpler, albeit unlawful, representation of free Alternative functors

Among other things—like removing code I don't understand—this one
generates more appealing help text.