 1/10: Building ArithState (ArithState.idr)
 2/10: Building DataStore (DataStore.idr)
Warning: We are about to implicitly bind the following lowercase names.
You may be unintentionally shadowing the associated global definitions:
  schema is shadowing Main.DataStore.schema

DataStore:23:6--23:15
 19 | setSchema : DataStore 0 -> Schema -> DataStore 0
 20 | setSchema (MkData schema []) schema' = MkData schema' []
 21 | 
 22 | data Command : Schema -> Type where
 23 |      SetSchema : Schema -> Command schema
           ^^^^^^^^^

Warning: We are about to implicitly bind the following lowercase names.
You may be unintentionally shadowing the associated global definitions:
  schema is shadowing Main.DataStore.schema

DataStore:24:6--24:9
 20 | setSchema (MkData schema []) schema' = MkData schema' []
 21 | 
 22 | data Command : Schema -> Type where
 23 |      SetSchema : Schema -> Command schema
 24 |      Add : SchemaType schema -> Command schema
           ^^^

Warning: We are about to implicitly bind the following lowercase names.
You may be unintentionally shadowing the associated global definitions:
  schema is shadowing Main.DataStore.schema

DataStore:25:6--25:9
 21 | 
 22 | data Command : Schema -> Type where
 23 |      SetSchema : Schema -> Command schema
 24 |      Add : SchemaType schema -> Command schema
 25 |      Get : Integer -> Command schema
           ^^^

Warning: We are about to implicitly bind the following lowercase names.
You may be unintentionally shadowing the associated global definitions:
  schema is shadowing Main.DataStore.schema

DataStore:26:6--26:10
 22 | data Command : Schema -> Type where
 23 |      SetSchema : Schema -> Command schema
 24 |      Add : SchemaType schema -> Command schema
 25 |      Get : Integer -> Command schema
 26 |      Quit : Command schema
           ^^^^

 3/10: Building Record (Record.idr)
 4/10: Building State (State.idr)
 5/10: Building StateMonad (StateMonad.idr)
 6/10: Building Traverse (Traverse.idr)
 7/10: Building TreeLabel (TreeLabel.idr)
 8/10: Building TreeLabelState (TreeLabelState.idr)
 9/10: Building TreeLabelType (TreeLabelType.idr)
10/10: Building All (All.idr)
