[ ScanFunctionSymbol [ Just ( Command "unit" ) ] ( Marker "unit" ) ]