Change the notion of a function signature
Function parameters as a scope
Replace the Store comonad with a typeclass