SE combines State and Error