Switch from stack and hpack to plain cabal-install

.gitignore

@@ -1,2 +1,2 @@
-.stack-work/
-*.cabal
+/dist-newstyle
+/cabal.project.local

cabal.project

@@ -0,0 +1,12 @@
+packages: .
+jobs: $ncpus
+
+package *
+  haddock-html: true
+  haddock-hoogle: true
+  haddock-hyperlink-source: true
+  haddock-quickjump: true
+
+package freer-simple
+  ghc-options: -j
+  haddock-options: "--optghc=-Wno-unused-imports"

freer-simple.cabal

@@ -0,0 +1,136 @@
+cabal-version: 2.4
+name: freer-simple
+version: 1.2.1.1
+category: Control
+build-type: Simple
+
+synopsis: A friendly effect system for Haskell.
+description:
+  An implementation of an effect system for Haskell (a fork of
+  <http://hackage.haskell.org/package/freer-effects freer-effects>), which is
+  based on the work of Oleg Kiselyov et al.:
+  .
+    * <http://okmij.org/ftp/Haskell/extensible/more.pdf Freer Monads, More Extensible Effects>
+    * <http://okmij.org/ftp/Haskell/zseq.pdf Reflection without Remorse>
+    * <http://okmij.org/ftp/Haskell/extensible/exteff.pdf Extensible Effects>
+  .
+  The key features are:
+  .
+    * An efficient effect system for Haskell - as a library!
+    * Reimplementations of several common Haskell monad transformers as effects.
+    * Core components for defining your own Effects.
+
+author: Allele Dev, Ixcom Core Team, Alexis King, and other contributors
+maintainer: Alexis King <[email protected]>
+copyright: 2016 Allele Dev; 2017 Ixperta Solutions s.r.o.; 2017 Alexis King
+license: BSD-3-Clause
+license-file: LICENSE
+homepage: https://github.com/lexi-lambda/freer-simple
+bug-reports: https://github.com/lexi-lambda/freer-simple/issues
+
+source-repository head
+  type: git
+  location: https://github.com/lexi-lambda/freer-simple
+
+extra-source-files:
+  CHANGELOG.md
+  README.md
+
+common common
+  ghc-options:
+    -Wall
+    -Wcompat
+    -Wincomplete-record-updates
+    -Wincomplete-uni-patterns
+    -Wredundant-constraints
+
+  default-language: Haskell2010
+  default-extensions:
+    ConstraintKinds
+    DataKinds
+    DeriveFunctor
+    FlexibleContexts
+    FlexibleInstances
+    FunctionalDependencies
+    GADTs
+    LambdaCase
+    MultiParamTypeClasses
+    RankNTypes
+    ScopedTypeVariables
+    TypeApplications
+    TypeOperators
+
+  build-depends: base >= 4.9 && < 5
+
+library
+  import: common
+  hs-source-dirs: src
+  exposed-modules:
+    Control.Monad.Freer
+    Control.Monad.Freer.Coroutine
+    Control.Monad.Freer.Error
+    Control.Monad.Freer.Fresh
+    Control.Monad.Freer.Internal
+    Control.Monad.Freer.NonDet
+    Control.Monad.Freer.Reader
+    Control.Monad.Freer.State
+    Control.Monad.Freer.TH
+    Control.Monad.Freer.Trace
+    Control.Monad.Freer.Writer
+    Data.FTCQueue
+    Data.OpenUnion
+    Data.OpenUnion.Internal
+
+  build-depends:
+    , natural-transformation >= 0.2
+    , transformers-base
+    , template-haskell >= 2.11 && < 2.19
+
+executable freer-simple-examples
+  import: common
+  hs-source-dirs: examples/src
+  main-is: Main.hs
+  other-modules:
+    Capitalize
+    Console
+    Coroutine
+    Fresh
+    Trace
+
+  build-depends: freer-simple
+
+test-suite freer-simple-test
+  import: common
+  type: exitcode-stdio-1.0
+  hs-source-dirs: tests
+  main-is: Tests.hs
+  other-modules:
+    Tests.Coroutine
+    Tests.Exception
+    Tests.Fresh
+    Tests.Loop
+    Tests.NonDet
+    Tests.Reader
+    Tests.State
+    Tests.TH
+
+  build-depends:
+    , QuickCheck
+    , freer-simple
+    , tasty
+    , tasty-hunit
+    , tasty-quickcheck
+
+benchmark freer-simple-bench
+  import: common
+  type: exitcode-stdio-1.0
+  hs-source-dirs: bench
+  main-is: Core.hs
+  ghc-options: -O2
+
+  build-depends:
+    , criterion
+    , extensible-effects
+    , free
+    , freer-simple
+    , mtl