import tails from Data.List