{-# htermination genericTake :: Int -> [a] -> [a] #-}
import List