ListT spec
code formatting