Tue Jul 24 21:06:52 EDT 2018
What works: in AppSeq.erl, see "dup"
So given that, is it possible to write a kind of "let"?
square x' = var x' $ \x -> x `mul` x
var mv f = mv >>= \v -> f $ return v