showConstructor < A : Bool >.A