untested but typechecking FFTW bindings for Idris