5. A programmer writes the following code but fails to provide types: data SF a = ss a FF deriving (Show, Eq) myhead () = FF myhead (a:as) - SS a mytail - mytail :xs) = XS myzip [ - = 0 myzip - 0 = 0 myzip (a:as) (b:bs) = (a,b): (myzip as bs) mystery xs myhead [x(x,y)