Typeable1 fixes for older GHCs, removed trailing whitespace, shuffled
infixl declaration to the top