Use a type-synonym instance

Improves readability
Fix order of declarations
Post about calling Python from Haskell