@@ -179,7 +179,7 @@ ensure (Predicate mp) = traverse_ (\k -> traverse_ (\p -> where_ (p k)) mp)
179-- stopping a 'Tabulation' from containing multiple rows with the same key, so
179-- stopping a 'Tabulation' from containing multiple rows with the same key, so
180-- technically @Map k (NonEmpty a)@ is more accurate.
180-- technically @Map k (NonEmpty a)@ is more accurate.
182−-- 'Tabulation's can be created from 'Query's with 'fromQuery' and 'littQuery'
182+-- 'Tabulation's can be created from 'Query's with 'fromQuery' and 'liftQuery'
183-- and converted back to 'Query's with 'lookup' and 'toQuery' (though note the
183-- and converted back to 'Query's with 'lookup' and 'toQuery' (though note the
184-- caveats that come with the latter).
184-- caveats that come with the latter).
185type Tabulation :: Type -> Type -> Type
185type Tabulation :: Type -> Type -> Type