[issue 1] lt and gt can be caluculated by `splitAt'