1/1: Building Fin (Fin.idr)
Fin.idr:33:7--35:1:While processing right hand side of bar at Fin.idr:33:1--35:1:
Can't find an implementation for IsJust (integerToFin 8 5)