-- Finite prefix of a list: -- take' 3 "Jyn Erso" == "Jyn" take' :: Integer -> [a] -> [a] take' _ [] = [] take' 0 _ = [] take' n (x:xs) = x:take' (n-1) xs main :: IO () main = print $ take' 20 [1,3..]