Hi all, Up until version 2.6, Test.QuickCheck.Arbitrary could be inferred safe by GHC. It no longer can, because the module uses CPP. Could it be marked safe? Maybe it would even be possible to mark all of QuickCheck safe? greetings, Sjoerd Visscher