4 monad laws

fmap id (Just 3)

id (Just 3) 5 monad and applicative inline notations

(*) <$> Just 2 <*> Just 3

fmap (: []) (Just 4)

1 liftA2 (:) (Just 3) (Just [4])

((:) <$> Just 3 <*> Just [4])