ToList: instance for Maybe

omelkonian · omelkonian · commit 025b4d7a663a · 2025-07-31T15:13:12.000+01:00
diff --git a/Class/ToList.agda b/Class/ToList.agda
@@ -20,3 +20,6 @@ instance
 
   ToList-Vec : ∀ {n} → ToList (Vec A n) A
   ToList-Vec .toList = V.toList
+
+  ToList-Maybe : ToList (Maybe A) A
+  ToList-Maybe .toList = L.fromMaybe
