Instantiate Leaf par type with Void for Eq instance and ability to become the needed result type safely