module T12574 where

id a = a