minigent/examples/0_basics/08-occurs-check/in.minigent

func : [x]. x -> x;
func x = x;

bad : [a]. a -> a;
bad x = func func;

ambiguous : [a]. a -> a;
ambiguous x = let b = func func
               in x 
              end;