gistfile1.txt

 
  compute : Integer -> Integer
  compute x = if (x `mod` 2) == 0 then x `div` 2 else 3 * x + 1
  
  traverse : Integer -> List Integer
  traverse 1 = [1]
  traverse x = traverse (compute x) :: x
  
ERROR:
collatz.idr:7:35:
When elaborating right hand side of Main.traverse:
When elaborating an application of constructor Prelude.List.:::
        Can't unify
                Integer
        with
                List Integer
        
        Specifically:
                Can't unify
                        Integer
                with
                        List Integer
Metavariables: Main.traverse