module Example1 where -- What is the type of "my_id"? my_id x = x