Attempts at fixing type parenthesizing when printing