Use continuations to reverse a list
reverseAnyList :: AnyList -> AnyList
reverseAnyList AnyNil = AnyNil
reverseAnyList (AnyCons x xs) = cont x (\x' -> x' `AnyCons` reverseAnyList xs)
where
cont :: a -> ((a -> AnyList) -> AnyList)
cont a = \f -> f a