@@ -980,3 +980,17 @@ instance (ToSample a a, ToSample b b, ToSample c c, ToSample d d, ToSample e e,
980980instance ToSample a a => ToSample (Maybe a) (Maybe a)
981981instance (ToSample a a, ToSample b b) => ToSample (Either a b) (Either a b)
982982instance ToSample a a => ToSample [a] [a]
983+
984+-- ToSample instances for Control.Applicative types
985+instance ToSample a a => ToSample (Const a b) (Const a b)
986+instance ToSample a a => ToSample (ZipList a) (ZipList a)
987+
988+-- ToSample instances for Data.Monoid newtypes
989+instance ToSample All All
990+instance ToSample Any Any
991+instance ToSample a a => ToSample (Sum a) (Sum a)
992+instance ToSample a a => ToSample (Product a) (Product a)
993+instance ToSample a a => ToSample (First a) (First a)
994+instance ToSample a a => ToSample (Last a) (Last a)
995+instance ToSample a a => ToSample (Dual a) (Dual a)
996+