{"width":800,"version":"1.0","type":"rich","title":"Avoiding infinite type loop { b | fn : ∞ -> a }","provider_url":"https://ellie-app.com","provider_name":"ellie-app.com","html":"<iframe src=\"https://ellie-app.com/embed/cFWnpF7kLW6a1\" width=800 height=400 frameBorder=\"0\" allowtransparency=\"true\"></iframe>","height":400}