#NEWLINE# def test_list_functor_law_1( self ) : #NEWLINE# #INDENT# x = unit ( 42 ) #NEWLINE# self . assertEqual ( x . map ( identity ) , x ) #NEWLINE# y = List ( ) #NEWLINE# self . assertEqual ( y . map ( identity ) , self ) #NEWLINE# z = List ( range ( 42 ) ) #NEWLINE# self . assertEqual ( z . map ( identity ) , z )