showConstructor <A>.A