1/2: Building Stuff (Stuff.idr)2/2: Building Door (Door.idr)Main>  0 m : Type -> Type 0 d : Door Closed 1 d' : Door Open-------------------------------------foo : Use Many m ()Main> Bye for now!