module T5198 where v :: () v = ()