add a type signature
I don't understand why I had to merge this