@@ -114,16 +114,13 @@ showNType t = TL.toStrict . T.toLazyText $ showNType' 0 t
114114 <> " }"
115115 where
116116 showNextNType' = showNType' $ depth + 1
117− currBurjins =
118− M.restrictKeysToRange
119− (Range (DeBrujin (- depth) 0) (DeBrujin (- depth + 1) 0))
120− greekVars
117+ currBurjins = S.mapMonotonic (DeBrujin (- depth)) $ getDeBurjins u
121118 foralls =
122− if M.null currBurjins
119+ if S.null currBurjins
123120 then ""
124121 else
125122 "∀ "
126− <> (mconcat . intersperse " " . M.elems $ currBurjins)
123+ <> (mconcat . intersperse " " . M.elems $ M.restrictKeys greekVars currBurjins)
127124 <> ". "
128125
129126showAtomicType :: AtomicType -> T.Builder