module T5745 where

import T5745a

f :: T
f = f