Predicated types experiment needs a lot more work