Using Idris' C FFI to do compile time type generation! https://docs.idris-lang.org/en/latest/guides/type-providers-ffi.html (Lovely clear example.)