From 579e5792e8ff65d5c39204420b6f12af6b55cf8e Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 8 Oct 2019 15:41:02 -0400 Subject: [PATCH] :memo: the reflexive instance. --- semantic-tags/src/AST/Element.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/semantic-tags/src/AST/Element.hs b/semantic-tags/src/AST/Element.hs index 2fae2c913..f03b277ce 100644 --- 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