-- regardless of the values of x, f, y
x = Just (*)

f = (+1)

y = Just 7

apply z = (\h -> h 99) <$> z

left = x <*> (f <$> y)

right = (. f) <$> (x <*> y)

-- both sides of this pair should always be equal
result = (apply left, apply right)

main =
  print result