But isn't `inbrackets` going to contain the entire `fun[targs]` thing?