A few codes to test rock's emerging ability to inline generic functions. Handle with care. Uses proof. - View it on GitHub