Control.Elevator

rung

data Gondola f g

class Tower f

type Floors1 f

stairs1

type Elevate f g

elevate

liftGondolas