applicative syntax in deserialization