showConstructor (< A : Bool>.A False)