add an example to show how loanPattern works
add an example to show how we can design our own monad
strengthen Persisted monad, but still failed to make List[T] a monad