Tecton.Rule

discard :: forall w a b c. Monoid w => Union a b c => Nub c c => Writer w (Proxy a) -> (Proxy a -> Writer w (Proxy b)) -> Writer w (Proxy c)