Split Prelude up
Don't need to promote universe now that type is parameter, not field