May I wish accessors for all modifiers in Test.QuickCheck.Modifiers? E.g. I want to run a test on a type without Show instance like so quickCheck (propFoobar . getBlind) which requires the definition data Blind a = Blind {getBlind :: a}