From cfa6c1ff5766ebf899c5241e2aef06525e59ca87 Mon Sep 17 00:00:00 2001
From: Orestis Melkonian <melkon.or@gmail.com>
Date: Thu, 31 Jul 2025 14:30:22 +0300
Subject: [PATCH] ToList: instance for Maybe

---
 Class/ToList.agda | 3 +++
 1 file changed, 3 insertions(+)

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