GitHub - hei411/eva: Eva -- A strongly-typed polymorphic strict purely ...