Control.Elevator

type Elevate f g

elevate

Construction kit

class Tower f

type Floors1 f

stairs1

data Gondola f g

rung

data h :* s

(*++*)

mapGondolas

liftGondolas