Silica: Haskell optics with type errors useful enough to teach peoplegithub.com/mrkgnao1 pointingve8 years ago