Remove unnecessary bubbleup plugin
Merge remote-tracking branch 'origin/i0124'
Add UndecidableInstances pragma into .ghci for editing on Emacs
Merge remote-tracking branch 'origin/i0120'