Got (finally) rid of unsafeMkProfile.