no, it's just a type class, although higher kinded...
# arrow
r
no, it's just a type class, although higher kinded doesn't need to be annotated for this use