Реализовать класс для коллекции

data FourOf a = FourOf a a a a deriving(Show,Eq)
 
-- реализовать классы `Functor`, `Applicative` и `Monad` для типа `FourOf` таким образом, что 
-- do { x <- FourOf 1 2 3 4; y <- FourOf 4 6 7 8; return $ x + y } === FourOf 5 8 10 12

instance Functor FourOf where
    fmap f (FourOf x y z t) = FourOf (f x) (f y) (f z) (f t)
 
instance Applicative FourOf where
    pure x    = FourOf x x x x
    (FourOf fx fy fz ft) <*> (FourOf x y z t) = FourOf (fx x) (fy y) (fz z) (ft t)
 
instance Monad FourOf where
    (FourOf x y z t) >>= f = let (FourOf x' _ _ _) = f x
                                 (FourOf _ y' _ _) = f y
                                 (FourOf _ _ z' _) = f z
                                 (FourOf _ _ _ t') = f t
                             in FourOf x' y' z' t'

instance Functor FourOf where
      fmap = undefined
 
instance Applicative FourOf where
    pure x    = FourOf x x x x
    (<*>) = undefined
 
instance Monad FourOf where
    (FourOf x y z t) >>= f = let (FourOf x' _ _ _) = f x
                                 (FourOf _ y' _ _) = f y
                                 (FourOf _ _ z' _) = f z
                                 (FourOf _ _ _ t') = f t
                             in FourOf x' y' z' t'

instance Monad FourOf where
    (FourOf x y z t) >>= f = FourOf (f x) (f y) (f z) (f t)