 1/12: Building Arith (Arith.idr)
 2/12: Building ArithCmd (ArithCmd.idr)
 3/12: Building ArithCmdDo (ArithCmdDo.idr)
 4/12: Building ArithTotal (ArithTotal.idr)
 5/12: Building Greet (Greet.idr)
 6/12: Building InfIO (InfIO.idr)
 7/12: Building InfList (InfList.idr)
Warning: We are about to implicitly bind the following lowercase names.
You may be unintentionally shadowing the associated global definitions:
  elem is shadowing Prelude.Types.elem

InfList:2:6--2:10
 1 | data InfList : Type -> Type where
 2 |      (::) : (value : elem) -> Inf (InfList elem) -> InfList elem
          ^^^^

 8/12: Building Label (Label.idr)
 9/12: Building RunIO (RunIO.idr)
10/12: Building Streams (Streams.idr)
11/12: Building StreamFail (StreamFail.idr)
12/12: Building All (All.idr)
