move to closed type family for CanDo(ExceptT)