I think we may look at how we are emulating higher...

# kapt

[raulraja]

I think we may look at how we are emulating higher kinds and typeclasses in kategory because I have entire programs that are completely generic and get concrete in a single point and so far the only way I have been able to tget that to work is with a global map of types to instances and a lookup function.