Sepples doesn't even have monadic operation for its optional type. It's just utterly destitute