Move 'mkNo' to a where