So, only use the type class for contractive functors.