
types_arity.erl:16:2: Invalid type specification for function types_arity:test2/0.
 The success typing is types_arity:test2() -> {'node','a','nil','nil'}
 But the spec is types_arity:test2() -> tree()
 The return types do not overlap
