Has a class like class Decoration t where type Datum t :: * value :: t -> Datum t been defined in any of the haskell packages on hackage? [There are so many variants on naming, it is rather difficult to search for this] Jacques