Prety printing of TyConApp