for debugging purposes, we need to make sure of what type is pointed to, hence
parenthesis are needed in the pretty printers for pointers