module TRigidType2 where

test :: a -> Int
test = head