check empty lists for hlist constraints