Small changes. Strictified ListT.