typed-protocols-examples: init at github:input-output-hk/typed-protocols/ab4e0346c3215daad4c823f3ddc0eefae32091ff