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