aPriori Monad LST