@hackage / visualize-type-inference

Simulate simple constraint-based type inference