Correct fixity for >> and >>=.
newtype declarations
newtype tests