Generic context creation for Either, Version, ()