instance Applicative [] where
  pure :: a -> [a]
  pure x    = [x]

  (<*>) :: [a -> b] -> [a] -> [b]
  gs <*> xs = [ g x | g <- gs, x <- xs ]