doc: remove old comments

diff --git a/flake.lock b/flake.lock
index 1df8ddbdd109cfdbcd74d23c7308bf9171901eae..e64f0b219fc672742c500692b31c58453f8bb643 100644 (file)
--- a/flake.lock
+++ b/flake.lock
@@ -17,11 +17,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1683207485,
-        "narHash": "sha256-gs+PHt/y/XQB7S8+YyBLAM8LjgYpPZUVFQBwpFSmJro=",
+        "lastModified": 1691328192,
+        "narHash": "sha256-w59N1zyDQ7SupfMJLFvtms/SIVbdryqlw5AS4+DiH+Y=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "cc45a3f8c98e1c33ca996e3504adefbf660a72d1",
+        "rev": "61676e4dcfeeb058f255294bcb08ea7f3bc3ce56",
         "type": "github"
       },
       "original": {

diff --git a/src/Symantic/Syntaxes/Classes.hs b/src/Symantic/Syntaxes/Classes.hs
index e79eb0e0709a89ae5ec6075b35355da201b06144..9d7bb422bfceaa0d9d383d5ae35e61d73e349b50 100644 (file)
--- a/src/Symantic/Syntaxes/Classes.hs
+++ b/src/Symantic/Syntaxes/Classes.hs
@@ -347,7 +347,6 @@ construct f = dicurry (Proxy :: Proxy args) f eotOfadt
 -- | Enable the contruction or deconstruction
 -- of an 'ADT' (algebraic data type).
 class Dataable a sem where
-  -- | Unfortunately, 'UnToF' is needed for the 'ToFer' instance.
   dataType :: sem (EoT (ADT a)) -> sem a
   default dataType ::
     Generic a =>