Idris-Trifunctors Installation: idris --install trifunctors.ipkg Usage: idris -p trifunctors my_mistakes_that_makes_me_grow.idr