aws :: forall a b. TermLike a => TermFamily a a -> b  
laws t = prune t (terms (undefined :: TermFamily a a))

laws :: forall a b. TermLike a => TermFamily a a -> b
laws t = prune t (terms (undefined :: TermFamily a a))
laws t = prune t (terms (undefined :: TermFamily a a))