Build 'only' out of simpler parts.
Cut down amount of code by eliminating Maybe and duplicated record code.
Add reference to Traversy.
Simplify basic Functor implementations.
Use 'only' to demonstrate 'combine' composition.