interface IOAssertions : TaglessAssertions<ForIO>
Assertions for tagless final and polymorphic programs
interface TaglessAssertions<F>