cide_ :: (DecideAtom t p, Show (DecideS t a)) => Form p t a -> IO ()
decide_ = display . decide


decide_ :: (DecideAtom t p, Show (DecideS t a)) => Form p t a -> IO ()
decide_ = display . decide
decide_ = display . decide