Added (==>) and used it to fix an error introduced by laxer partial signatures