The answer is:
def filter_sort_explicit(df, c, l):
"""
a function that filters a [df] on [c]olumn by explicitly specificying the order of the values (in that column) in a [list]
"""
return df.filter(pl.col(c).is_in(l)).sort(pl.col(c).cast(pl.Enum(l)))