Make appsimpl also simplify dataconstructors.