compilation failed: reflective toolbox has failed: cannot have free terms in a top-level definition