Thanks Juan, I tried to read through the Typeclassopedia once but did find it too terse so I'll check out that other book.