List monad transformer and a List class with standard list operations.