Haskell: Error Non type-variable argument in the constraint: MonadState (Heap Node) m (Use FlexibleContexts to permit this)

Question

I am building a core language compiler using the code from

Core Lange Compiler

When I try to compile the core.hs with code below.

    scanHeap