[<<][meta_siso][>>][..]
Wed Jul 29 21:57:54 EDT 2015

Liftable...

What am I trying to do?

Given    DataRing m r t   =>   DataRing m r (Vec t)

Should Vec be a concrete type then?
Can't be.  Needs to be a class.



[Reply][About]
[<<][meta_siso][>>][..]