move to closed type family for CanDo(ExceptT)
remove unused language pragmas