1 2 3
test'' :: [Int] test'' = take 5 (unsafeCoerce (c b `equal` b)) -- ^ Evaluates to [-1231469972,-1231469972,-1231469972,-1231469972,-1231469972]