function seq() = ()