More haskellforall.
Work on Program Design by Calculation.