Nim Lang (previously Nimrod) can do that, if I understand correctly.

		beagle3 on Jan 18, 2015 \| parent \| context \| favorite \| on: From Object Algebras to Finally Tagless Interprete... Nim Lang (previously Nimrod) can do that, if I understand correctly.