What is the scheduler type of GHC?