Fri Jul 24 13:12:40 EDT 2015
Data.hs from meta/dspm
It should be possible to build on the previous implementation now. A
lot of the work is already done; though it needs some cleanup.
It seems the next thing to fix is structvar, which generally is a
problem of commutation of representation and structuring.
I believe the implementation is only abot (,) which is enough for now.
A problem appears in StructVar which is a compiler internal. Maybe it
can be removed and tucked away like the previous existential?
Let's remove Struct.hs as it introduces some seemingly badly
constructed type juggling..