minigent/examples/0_basics/08-occurs-check/expected.out

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