Yeah, it took more than a year (and dcoutts help on IRC), but finally I've gathered all my 
hackage-foo to submit a new 
thrist package (v1.1.1). Its main purpose is to require 
base v4.0 or higher. As an added bonus 
(Thrist p) now provides a 
Category instance. I have also added an 
Arrow (Thrist (->)) instance, but its 
first method is bogus as of now. I plan to correct this with v1.1.2.
My plans for 0.2 are:
- adaptors Data.Thrist.Monad, Data.Thrist.List (aka. R*), Data.Thrist.Arrow, all with their respective sensible class instances,
- tests.
Then sometime I can start setting up some cool stuff to demonstrate hoare-triples in thrist setting.
We'll see.