New posts in Sbv

Asserting that typeclass holds for all results of type family application