Error found:
in module Main
at tests/purs/failing/4408Cyclic.purs:23:29 - 23:34 (line 23, column 29 - line 23, column 34)

  Hole 'help' has the inferred type
            
    Int -> K
            
  You could substitute the hole with one of these values:
                                                                      
    Main.aSaki                  :: Int -> K                           
    Main.bNoa                   :: forall a. a -> K                   
    Main.cTowa                  :: forall a. a -> K                   
    Main.eSaki                  :: Int -> K                           
    Safe.Coerce.coerce          :: forall a b. Coercible a b => a -> b
    Unsafe.Coerce.unsafeCoerce  :: forall a b. a -> b                 
    Main.K                      :: Int -> K                           
                                                                      
  in the following context:

    a :: a0


in binding group cTowa, bNoa

where a0 is a rigid type variable
        bound at (line 0, column 0 - line 0, column 0)

See https://github.com/purescript/documentation/blob/master/errors/HoleInferredType.md for more information,
or to contribute content related to this error.