@@ -62,7 +62,8 @@ instance DecidablyEmpty (First a) where
6262instance DecidablyEmpty (Last a) where
6363 isEmpty (Last a) = isNothing a
6464deriving 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
6667deriving instance DecidablyEmpty m => DecidablyEmpty (WrappedMonoid m)
6768instance (Ord a, Bounded a) => DecidablyEmpty (Max a)
6869instance (Ord a, Bounded a) => DecidablyEmpty (Min a)