DeleteElem isn't described in the prose #26
Description
type DeleteElem (key :: Symbol) (ts :: [(Symbol,k)]) = Filter (Not <=< (TyEq key <=< Fst)) ts{{ message }}
type DeleteElem (key :: Symbol) (ts :: [(Symbol,k)]) = Filter (Not <=< (TyEq key <=< Fst)) ts