and add something more substantial but we have now...

# functional

[raulraja]

and add something more substantial but we have now emulated higher kinds, for comprehensions over coroutines, cartesian builders, WIP laws and emulated type classes