module T27 where -- >>> () -- () --