Hi

...

forgive my ignorance but I thought functional programming was a mathematically sound framework unlike Object Oriented programming.

Referentially transparent is a better term than mathematically sound here. This is the property that x = y means that instances of x can be replaced with y. Could you elaborate please?

...

Isn't using Haskell for OOP kind of defeating the whole object?

It is defeating the point of expressing programs in a beautiful way, but if you are building it on top of Haskell, without going to things like unsafePerformIO, then you still end up with a referentially transparent framework. I suppose one thing OO has going for it is a useful system of organising your code. Beyond that I'm afraid it is open to the same issues which plagued the soft eng world in the 70s. Yet, everyone seems to be mad about it inthe business. Sorry if this is going slightly off-topic. Paul