Use Idris's "Complex" type to represent complex numbers