Switched order of Monad.ap arguments
Implemented unfold for lists
Added assertion for unfold
Unfold a list, taking a closure