pointfree converter
liftA2' h f g = \x -> h (f x) (g x)
convert