Greetings folks.

If (->) is a type constructor, what does its definition look like, what data constructors does it have? How does it differ from other type constructors, or maybe it doesn't?

Could someone give an explanation...

Thanks for taking time.