More accurate parsing of type restrictions regarding fun types