Control.Elevator

class Tower f

type Elevate f g

type Floors1 g

toLoft1

elevate