-- | An index with one entry.
singleton :: Term f -> a -> Index f a
singleton !t x = singletonList (Term.singleton t) x
singleton :: Term f -> a -> Index f a
singleton !t x = singletonList (Term.singleton t) x
singleton !t x = singletonList (Term.singleton t) x