Relaxed type sigs for countE and countR