Yeah, functions returning types based on computations in Zig can look a lot like Idris if you squint