[jhc] (->) not working too well...

[John Meacham]

yeah, that doesn't surprise me that much, though it will likely be not
too hard to fix. basically, since we need to sometimes treat types as
values we can scrutinize (->) has a reified form of the type
constructor that takes two arguments named Jhc at .-> defined in Name.Names
as tc_Arrow. 

Code just needs to make sure that it translates between the two forms as
needed.

        John


-- 
John Meacham - ⑆repetae.net⑆john⑈