module T18251e where

a = [| id |]