changed Effect code to be non-monadic, non-Lens