Associatedtype depends on protocol

Question

I struggle with associatedtype to make it work as I want. So ask for clarification and explanation why example below doesn\'t work. Bellow example is executable