I think that I'm finished with problem 5. However, I need to understand how <*> can be used with <*> compile' xs. I think that it's allowed since 'compile' xs' maps to a Functor [a]