simplifyForceDefer (App f x) = App (simplifyForceDefer f) (simplifyForceDefer x)
simplifyForceDefer (App f x) = App (simplifyForceDefer f) (simplifyForceDefer x)
simplifyForceDefer (App f x) = App (simplifyForceDefer f) (simplifyForceDefer x)