- Make functors more sensible
- Currently seems to be impossible so maybe suggest it for ATS Xanadu?
- Work for viewtypes
- freeing vs. non-freeing functions
- Mendler-style catamorphisms?
- Anamorphism and/or hylomorphism (calculating string length?)
- Possibly useful for the obfuscated C contest (lol)
- Proof-level recursion schemes? Possibly something w/ arrays.