A test for the $ bug, can now apply $ to a constrained function type.