KnowledgeHub
Report question
Question:
Why is the type of this function (a -> a) -> a?
Reason
Select a reason...
Spam
Rude or offensive
Not an answer
Duplicate
Off-topic
Other
Additional details (optional)
Submit Report