showConstructor (<A : Bool>.A False)