some useful notes
blog refinement
list comp e.g.
more list iter e.g.