#NEWLINE# def test_identity_applicative_law_composition_empty( self ) : #NEWLINE# #INDENT# u = pure ( ( lambda x : ( x * 42 ) ) ) #NEWLINE# v = pure ( ( lambda x : ( x + 42 ) ) ) #NEWLINE# w = List ( ) #NEWLINE# self . assertEquals ( pure ( fmap ) . apply ( u ) . apply ( v ) . apply ( w ) , u . apply ( v . apply ( self ) ) )