Add inferrability example

[tkf]

No description provided.

[codecov]

Codecov Report

Merging #3 (968ad8e) into main (64b0977) will increase coverage by 10.83%.
The diff coverage is 52.94%.

@@             Coverage Diff             @@
##             main       #3       +/-   ##
===========================================
+ Coverage   45.33%   56.17%   +10.83%     
===========================================
  Files          10       10               
  Lines         225      235       +10     
===========================================
+ Hits          102      132       +30     
+ Misses        123      103       -20     

Flag	Coverage Δ
Pkg.test	56.17% <52.94%> (+10.83%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
src/core.jl	49.09% <33.33%> (+26.64%)	⬆️
src/Try.jl	100.00% <100.00%> (+33.33%)	⬆️
src/base.jl	36.20% <100.00%> (+4.72%)	⬆️
src/tools.jl	65.00% <0.00%> (+20.00%)	⬆️
src/show.jl	100.00% <0.00%> (+41.66%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 64b0977...968ad8e. Read the comment docs.