@@ -62,7 +62,8 @@ instance DecidablyEmpty (First a) where
62instance DecidablyEmpty (Last a) where
62instance DecidablyEmpty (Last a) where
63 isEmpty (Last a) = isNothing a
63 isEmpty (Last a) = isNothing a
64deriving instance DecidablyEmpty a => DecidablyEmpty (Identity a)
64deriving instance DecidablyEmpty a => DecidablyEmpty (Identity a)
65−deriving instance Semigroup a => DecidablyEmpty (Option a)
65+instance Semigroup a => DecidablyEmpty (Option a) where
66+ isEmpty (Option a) = isNothing a
66deriving instance DecidablyEmpty m => DecidablyEmpty (WrappedMonoid m)
67deriving instance DecidablyEmpty m => DecidablyEmpty (WrappedMonoid m)
67instance (Ord a, Bounded a) => DecidablyEmpty (Max a)
68instance (Ord a, Bounded a) => DecidablyEmpty (Max a)
68instance (Ord a, Bounded a) => DecidablyEmpty (Min a)
69instance (Ord a, Bounded a) => DecidablyEmpty (Min a)