allow Maybe types in function type annotations