zliu41

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeFamilies #-}

module FixViaHFix where

import Data.Functor.Identity
import Data.Kind

zliu41

import cats.Functor
import cats.implicits._

import scala.language.higherKinds

sealed trait StackR
final case class DoneR(result: Int = 1) extends StackR
final case class MoreR(acc: StackR, next: Int) extends StackR

sealed trait Stack[A]

zliu41

import scala.language.higherKinds
import scala.util.Random
import scalaz.Scalaz._
import scalaz._
import Circuit.arrowInstance


/////////////////////////////////////////////////////////////////////////////////////////
// This implementation closely follows the Haskell implementation in the Haskell Wikibook
// (https://en.wikibooks.org/wiki/Haskell/Arrow_tutorial).