When I give Agda _→_ as value (for example, as parameter for type family) I get an error. So, is → a special synthax form and is there any 'standart' type constructor to be used as replacement ?