Triviality of promise polymorphisms | Digital Library | PAMCET | PAMCET