Add type signatures to reverse example