MemoizeFibonacci issue

Main.purs

module Main where

import Prelude
import Data.Function.Memoize (memoize)
import Data.Interpolate (i)
import Debug.Trace (spy)
import Effect (Effect)
import Effect.Class.Console (log)

main :: Effect Unit
main = do
  log $ i "fibBroken4 result: " $ fibBroken4 7

fibBroken4 :: Int -> Int
fibBroken4 0 = spy "fibBroken4 0" 0
fibBroken4 1 = spy "fibBroken4 1" 1
fibBroken4 n =
  spy ("fibBroken4 " <> show n)
    $ fibPointFreeMemoize (n - 2)
    + fibPointFreeMemoize (n - 1)

{-
  The value of fibBroken4 is undefined here, so this reference is not allowed.

while checking that expression fibBroken4
  has type t0 -> t1
while applying a function memoize
  of type Tabulate t0 => (t0 -> t1) -> t0 -> t1
  to argument fibBroken4
in binding group fibBroken4, fibPointFreeMemoize

where t1 is an unknown type
      t0 is an unknown type

-}
fibPointFreeMemoize :: Int -> Int
fibPointFreeMemoize = memoize fibBroken4