🦠 An experimental elaborator for dependent type theory using effects and handlers - View it on GitHub