module TRigidType2 where

test :: [Int] -> Int
test = head