Generify unifier instanciation #112