memberWithin' :: (Hashable a, Eq a) => Int -> a -> Closed a -> (Bool, Closed a)
memberWithin' n = memberWithinG' (A n)
memberWithin' :: (Hashable a, Eq a) => Int -> a -> Closed a -> (Bool, Closed a)
memberWithin' n = memberWithinG' (A n)
memberWithin' n = memberWithinG' (A n)