yes = qux (if nullPS s || (headPS s /= '\n') then return False else alter_input tailPS >> return True )