Add then type signature.