Silica: Haskell optics with type errors useful enough to teach people | Heykuki News