external return : '-> 'a m = "%identity"