Error: types to not conform.
What to do: check conformance rules for generic and non-generic types. 
