#NEWLINE# @ sig ( ( ( H / ( 'a' , 'b' ) ) >> 'b' ) ) #NEWLINE# def snd( tup ) : #NEWLINE# #INDENT# '\n    snd :: (a, b) -> b\n\n    Extract the second component of a pair.\n    ' #NEWLINE# ( x , y ) = tup #NEWLINE# return y