Fixed with the constraint ```if (isImplicitlyConvertible!(Base, B))```