Reimplement <*>

It looks like this works! I have not yet worked out how to take
care of the `|xs| <= 9` case cleanly as yet, so this will still
need some work before it can go in.