Checking Recursive Generic Mappings and non-generic type mappings.