gistfile1.cs

    class Program
    {
        static void Main(string[] args)
        {
            var view = new MyView();
            view.Bind/*<MyViewModel, MyView, int>*/(view.ViewModel, vm => vm.Prop1, v => v.Prop2);
        }
    }

    class MyViewModel
    {
        public int Prop1 { get; set; }
    }

    class MyView : IViewFor<MyViewModel>
    {
        public int Prop2 { get; set; }

        public MyViewModel ViewModel
        {
            get { return null; }
        }
    }

    static class C
    {
        public static IDisposable Bind<TViewModel, TView, TProp>(
                this TView view,
                TViewModel vm,
                Expression<Func<TViewModel, TProp>> vmProperty,
                Expression<Func<TView, TProp>> viewProperty)
            where TViewModel : class
            where TView : IViewFor<TViewModel>
        {
            return null;
        }
    }

    interface IViewFor<TViewModel>
    {
        TViewModel ViewModel { get; }
    }

using System;
using System.Collections.Generic;
using System.Linq;
using System.Linq.Expressions;
using System.Text;
using System.Threading.Tasks;

namespace ConsoleApplication1
{
class Program
{
static void Main(string[] args)
{
var view = new MyView();
view.Bind/<MyViewModel, MyView, int>/(view.ViewModel, vm => vm.Prop1, v => v.Prop2);
}
}

class MyViewModel
{
    public int Prop1 { get; set; }
}

class MyView : IViewFor<MyViewModel>
{
    public int Prop2 { get; set; }

    public MyViewModel ViewModel
    {
        get { return null; }
    }
}

static class C
{
    public static IDisposable Bind<TViewModel, TView, TProp>(
            this TView view,
            TViewModel vm,
            Expression<Func<TViewModel, TProp>> vmProperty,
            Expression<Func<TView, TProp>> viewProperty)
        where TViewModel : class
        where TView : IViewFor<TViewModel>
    {
        return null;
    }
}

interface IViewFor<TViewModel>
{
    TViewModel ViewModel { get; }
}

}