wip: Work on translation of FingerTree to Idris