the recursive type variable definition looks a lit...
# announcements
m
the recursive type variable definition looks a little odd