úÎ ù*     (c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental non-portableNone&'(1234=HJKMThe parents and itself."A class of types which have bases. The product of all ways to lift.Transformation between effects f can be lifted to g Lift a thing, automatically. Add a new transformation. for .   !"      !" #       !"#$%&'elevator-0.2.2Control.Elevatorextensible-0.3Data.Extensible.Product*++*Data.Extensible.InternalNil:*Floors1TowerFloorsstairsGondola runGondolaElevateelevaterung mapGondolasstairs1 liftGondolas $fTowerErrorT $fTowerRWST $fTowerRWST0 $fTowerListT $fTowerMaybeT$fTowerWriterT$fTowerWriterT0$fTowerReaderT $fTowerStateT$fTowerStateT0 $fTowerLeague $fTowerUnion $fTowerST $fTower[] $fTower(->) $fTowerEither $fTowerMaybe$fTowerIdentity $fTowerIO