diff --git a/Class/ToList.agda b/Class/ToList.agda
index 7d46e9d..142c232 100644
--- 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