They suppose to be patterns. Currently DUs and active patterns are supported. Record fields and enum fields are not yet supported due to limitations of FCS.