Paranoia commit
nother commit
type experimentation
vars do not need to be parameterized
phew. simul compiles
cleanup
more cleanup
more simul cleanup
good grief
feeling good
fully rearranged
fdsjlka
commenting out for compilation
back to the simul drawing board
finally have the applicative instance
gonna try adding l to Var
money
newVar implemented
newVar undefineds removed
implemented new abstract constraint