Assertion: type signature | /r/HasProperty | a -a and returns data of type
Facets:
Source sentences:
text: This function takes in a function with type signature a -> a and returns data of type a out.