Register Machine implemented at the type-level of Haskellgithub.com/kcsongor3 pointsgergoerdi10 years ago