Control.Elevator

class Tower f

type Elevate f g

elevate