How to bind this kind of function?

If type t doesn’t need to reference itself (return itself in this case) then you could make it a function type directly and have both that and @send functions for the other methods. Then you’d get rid of the cast and it’ll look nicer.