Making WebGL typesafe in Idris 2 | Hacker News Reader