We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent be0e74f commit 6879807Copy full SHA for 6879807
pub/functora/src/tags/Functora/TagsFamily.hs
@@ -73,7 +73,7 @@ type family lhs |&| rhs where
73
74
type MaybeGetTag k tags = MaybeGetTagFamily ('Nothing :: Maybe k) k tags tags
75
76
-type GetTag k tags = GetTagFamily k tags (MaybeGetTag k tags)
+type GetTag k tags = (GetTagFamily k tags (MaybeGetTag k tags :: Maybe k) :: k)
77
78
type HasTag (v :: k) tags =
79
( SingI v,
0 commit comments