{motive : Std.Internal.IO.Async.UDP.Membership → Sort u} →
  motive Std.Internal.IO.Async.UDP.Membership.leaveGroup →
    motive Std.Internal.IO.Async.UDP.Membership.enterGroup → (t : Std.Internal.IO.Async.UDP.Membership) → motive t