More in monadic form.
Add Make and Makefile.