next version of Library with Conravariant function