[Krei-se]

Did you just state that FP cannot solve the problem because some protocol wont allow you to specify types in the manner?