types stack and printy with types