simplifyForceDefer :: Expression a -> Expression a
simplifyForceDefer (Lam name expr) = Lam name $ simplifyForceDefer expr
simplifyForceDefer :: Expression a -> Expression a
simplifyForceDefer (Lam name expr) = Lam name $ simplifyForceDefer expr
simplifyForceDefer (Lam name expr) = Lam name $ simplifyForceDefer expr