Control.Concurrent.Supervisor
type SupervisorSpec
type Supervisor
type Child
newSupervisorSpec
newSupervisor