úÎ 0a     (c) Fumiaki Kinoshita 2015 BSD3 (Fumiaki Kinoshita <fumiexcel@gmail.com>  experimental  non-portable None&'(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.1Control.Elevatorextensible-0.2.7Data.Extensible.Product*++*Nil:*Floors1TowerFloorsstairsGondola runGondolaElevateelevaterung mapGondolasstairs1 liftGondolas$fTowerExceptT $fTowerRWST $fTowerRWST0 $fTowerListT $fTowerMaybeT$fTowerWriterT$fTowerWriterT0$fTowerReaderT $fTowerStateT$fTowerStateT0 $fTowerLeague $fTowerUnion $fTowerST $fTower[] $fTower(->) $fTowerEither $fTowerMaybe$fTowerIdentity $fTowerIO