-> State (Word, Word)
-> (State (Word, Word), Word)
- -- All arguments are an inital lambda (address, data, packed state)
+ -- All arguments are an inital lambda
+ -- (address, data, packed state)
regbank = λa.λd.λsp.
-- There are nested let expressions at top level
let