idris-0.12.3: src/.ghci

:set -XMultiParamTypeClasses -XFunctionalDependencies
:set -XFlexibleInstances -XTemplateHaskell