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