Add type signature to reverseMuNu