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