Pretty-printing of cobalt types as an AG