Yes the user has to be cooperative somehow. You could emulate linear/affine types like features with indexed monads though.