cide :: DecideAtom t p => Form p t a -> Dec (DecideS t a)
decide (Form s) = decideSent s


decide :: DecideAtom t p => Form p t a -> Dec (DecideS t a)
decide (Form s) = decideSent s
decide (Form s) = decideSent s