Upgrade to Idris 0.9.15.1
Finished translating FingerTree module to Idris