Function impls 

pub fn impls<T>(
    expr: &Expr,
    field_names: &[T],
) -> Result<Vec<Implementation>, Error>
where
    T: PartialEq<String>,