LiSP describes shallow binding, where values are stored on the var rather than in a symbol table. TIL GHC does this!