module T8221b where data Link a = Link a !(Link a)