📝 the reflexive instance.

2024-11-25 02:58:36 +03:00 · 2019-10-08 15:41:02 -04:00 · 2019-10-08 15:41:02 -04:00 · 579e5792e8
commit 579e5792e8
parent ea0a4c99b8
1 changed files with 1 additions and 0 deletions
--- a/semantic-tags/src/AST/Element.hs
+++ b/semantic-tags/src/AST/Element.hs
@ -45,6 +45,7 @@ type family (a :: Side) <> (b :: Side) :: Side where
 class Element' (side :: Side) sub sup where
  prj' :: sup a -> Maybe (sub a)

+-- | Membership is reflexive.
 instance Element' 'Here t t where
  prj' = Just