DFST.lhs