úÎ IS     (c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental non-portableNone&'(1234=HJKM The parents and itself. "A class of types which have bases. The product of all ways to lift.f can be lifted to gLift a thing, automatically. for  .  !"#$%       !"#$%&       !"#$%&'()*elevator-0.2.3Control.Elevatorextensible-0.3.2Data.Extensible.UnionrungreuniongetUnionUnion runGondolaGondolaData.Extensible.Product*++*Data.Extensible.InternalNil:*Floors1TowerFloorsstairsElevateelevatestairs1 liftGondolas mapGondolas $fTowerErrorT $fTowerRWST $fTowerRWST0 $fTowerListT $fTowerMaybeT$fTowerWriterT$fTowerWriterT0$fTowerReaderT $fTowerStateT$fTowerStateT0 $fTowerUnion $fTowerST $fTower[] $fTower(->) $fTowerEither $fTowerMaybe$fTowerIdentity $fTowerIO