The composition law of Apply

ApplyLaw.hs

{-# LANGUAGE NoImplicitPrelude #-}

import Prelude(Eq(..), Bool, (.))

class Functor f where
  (<$>) ::
    (a -> b)
    -> f a
    -> f b

class Functor f => Apply f where
  (<*>) ::
    f (a -> b)
    -> f a
    -> f b

composition ::
  (Eq (f c), Apply f) =>
  f (b -> c)
  -> f (a -> b)
  -> f a
  -> Bool
composition fbc fab fa =
  (fbc <*> (fab <*> fa)) ==
  ((((.) <$> fbc) <*> fab) <*> fa)