GHC extensions for overloading list notation and rebinding of SQL-like monad comprehension notation