:set -XNoImplicitPrelude
:set -XOverloadedStrings
:set -isrc
:load Protolude
