Discard Free monad API