Mathematically Structured Functional Programming 2008