Universal Register Machine Implemented at the Type-Level of Haskellgithub.com/kcsongor2 pointsadamnemecek8 years ago