doc: reformat comments

diff --git a/src/Symantic/Syntaxes/Reify.hs b/src/Symantic/Syntaxes/Reify.hs
index b3824f5c911aff64fbc54fb4a918f09e5ab735ba..915ad47764eb23c7dd2c5df1b5608c17ad53b18e 100644 (file)
--- a/src/Symantic/Syntaxes/Reify.hs
+++ b/src/Symantic/Syntaxes/Reify.hs
@@ -32,12 +32,12 @@ import Symantic.Syntaxes.Classes (Abstractable (..), Unabstractable (..))
 -- DOC: http://okmij.org/ftp/tagless-final/NBE.html
 -- DOC: https://www.dicosmo.org/Articles/2004-BalatDiCosmoFiore-Popl.pdf
 data ReifyReflect repr meta a = ReifyReflect
-  { -- | 'reflect' converts from a *represented* Haskell term of type @a@
-    -- to an object *representing* that value of type @a@.
-    reify :: meta -> repr a
-  , -- | 'reflect' converts back an object *representing* a value of type @a@,
-    -- to the *represented* Haskell term of type @a@.
-    reflect :: repr a -> meta
+  { reify :: meta -> repr a
+  -- ^ 'reflect' converts from a *represented* Haskell term of type @a@
+  -- to an object *representing* that value of type @a@.
+  , reflect :: repr a -> meta
+  -- ^ 'reflect' converts back an object *representing* a value of type @a@,
+  -- to the *represented* Haskell term of type @a@.
   }
 
 -- | The base of induction : placeholder for a type which is not the arrow type.