update type signatures in Protocol.hs