doc: improve comment about `Derivable`

diff --git a/src/Symantic/Syntaxes/Derive.hs b/src/Symantic/Syntaxes/Derive.hs
index a001533261a95fe7b9c83bd0d9d4aab0227510d2..12f4b5a3dae995f5338fb753ce4756562502d490 100644 (file)
--- a/src/Symantic/Syntaxes/Derive.hs
+++ b/src/Symantic/Syntaxes/Derive.hs
@@ -23,9 +23,9 @@ type family Derived (sem :: Semantic) :: Semantic
 
 -- * Class 'Derivable'
 
--- | Derive an interpreter to another interpreter
--- determined by the 'Derived' open type family.
--- This is mostly useful when running the interpreter stack,
+-- | Derive from a semantic @(sem)@
+-- another semantic determined by the 'Derived' open type family.
+-- This is mostly useful when running a semantic stack,
 -- but also when going back from an initial encoding to a final one.
 --
 -- Note that 'derive' and 'liftDerived' are not necessarily reciprocical functions.