Add more effect polymorphism and label 'unsafe' functions.