It's a Done type! (from standard library)