This model only works with >= GHC 6.2.