prints for debugging type