myFunc2 val [x] = if x /= val then [x] else [] myFunc2 val (x : xs) = if x /= val then x : myFunc2 val xs else myFunc2 val xs this has an implementation as a futumorphism right?